Twenty Questions to a P-Selector
نویسندگان
چکیده
We show in this note, that any set that is positive Turing reducible to a p-selective set is in fact many-one reducible to this set. Therefore, such a set is itself p-selective.
منابع مشابه
EFFECT OF SPIRAL DESIGN ON CRYSTAL ORIENTATION DURING SINGLE CRYSTAL GROWTH
Geometrical design of the spiral crystal selector can affect crystal orientation in the final single crystal structure. To achieve a better understanding of conditions associated with the onset of crystal orientation in a spiral crystal selector, temperature field was investigated using three-dimensional finite element method during the process. Different geometries of spiral crystal selec...
متن کاملExpressiveness and Complexity of Crosscut Languages
Selector languages, or crosscut languages, play an important role in aspect-oriented programming (AOP). Examples of prominent selector languages include the pointcut language in AspectJ, traversal specifications in Demeter, XPath for databases, and regular expressions. A selector language expression, also referred to as a selector, selects nodes on an instance graph (an execution tree or an obj...
متن کاملSelection over classes of ordinals expanded by monadic predicates - Alexander Rabinovich and Amit Shomrat.dvi
A monadic formula ψ(Y) is a selector for a monadic formula φ(Y) in a structure M if ψ defines in M a unique subset P of the domain and this P also satisfies φ in M. If C is a class of structures and φ is a selector for ψ in every M ∈ C, we say φ is a selector for φ over C. For a monadic formula φ(X,Y) and ordinals α ≤ ω1 and δ < ω, we decide whether there exists a monadic formula ψ(X,Y) such th...
متن کاملSelection over classes of ordinals expanded by monadic predicates
A monadic formula ψ(Y ) is a selector for a monadic formula φ(Y ) in a structure M if ψ defines inM a unique subset P of the domain and this P also satisfies φ inM. If C is a class of structures and φ is a selector for ψ in everyM ∈ C, we say that φ is a selector for φ over C. For a monadic formula φ(X, Y ) and ordinals α ≤ ω1 and δ < ω , we decide whether there exists a monadic formula ψ(X, Y ...
متن کاملCharacterization and Investigation of Grain Selection in Spiral Grain Selectors during Casting Single-Crystal Turbine Blades
Manufactured single crystal components using Ni-base super alloys are routinely used in the hot sections of aero engines and industrial gas turbines due to their outstanding high temperature strength, toughness and resistance to degradation in corrosive and oxidative environments. To control the quality of the single crystal turbine blades, particular attention has been paid to grain selection,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 48 شماره
صفحات -
تاریخ انتشار 1993